def a() -> int: ...
def b() -> str: ...